// Copyright (c) 2015 Runtime Verification, Inc. (RV-Match team). All Rights Reserved.

struct s {
      int s;
      int flex[];
};

struct s arr[5];

int main(void){

}
